3.765 \(\int \frac{\left (a+b x^2\right )^{4/3}}{(c x)^{8/3}} \, dx\)

Optimal. Leaf size=414 \[ \frac{8 b \sqrt [3]{c x} \sqrt [3]{a+b x^2} \left (c^{2/3}-\frac{\sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right ) \sqrt{\frac{\frac{b^{2/3} (c x)^{4/3}}{\left (a+b x^2\right )^{2/3}}+\frac{\sqrt [3]{b} c^{2/3} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}+c^{4/3}}{\left (c^{2/3}-\frac{\left (1+\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right )^2}} F\left (\cos ^{-1}\left (\frac{c^{2/3}-\frac{\left (1-\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{b x^2+a}}}{c^{2/3}-\frac{\left (1+\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{b x^2+a}}}\right )|\frac{1}{4} \left (2+\sqrt{3}\right )\right )}{5 \sqrt [4]{3} c^{11/3} \sqrt{-\frac{\sqrt [3]{b} (c x)^{2/3} \left (c^{2/3}-\frac{\sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right )}{\sqrt [3]{a+b x^2} \left (c^{2/3}-\frac{\left (1+\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right )^2}}}+\frac{8 b \sqrt [3]{c x} \sqrt [3]{a+b x^2}}{5 c^3}-\frac{3 \left (a+b x^2\right )^{4/3}}{5 c (c x)^{5/3}} \]

[Out]

(8*b*(c*x)^(1/3)*(a + b*x^2)^(1/3))/(5*c^3) - (3*(a + b*x^2)^(4/3))/(5*c*(c*x)^(
5/3)) + (8*b*(c*x)^(1/3)*(a + b*x^2)^(1/3)*(c^(2/3) - (b^(1/3)*(c*x)^(2/3))/(a +
b*x^2)^(1/3))*Sqrt[(c^(4/3) + (b^(2/3)*(c*x)^(4/3))/(a + b*x^2)^(2/3) + (b^(1/3
)*c^(2/3)*(c*x)^(2/3))/(a + b*x^2)^(1/3))/(c^(2/3) - ((1 + Sqrt[3])*b^(1/3)*(c*x
)^(2/3))/(a + b*x^2)^(1/3))^2]*EllipticF[ArcCos[(c^(2/3) - ((1 - Sqrt[3])*b^(1/3
)*(c*x)^(2/3))/(a + b*x^2)^(1/3))/(c^(2/3) - ((1 + Sqrt[3])*b^(1/3)*(c*x)^(2/3))
/(a + b*x^2)^(1/3))], (2 + Sqrt[3])/4])/(5*3^(1/4)*c^(11/3)*Sqrt[-((b^(1/3)*(c*x
)^(2/3)*(c^(2/3) - (b^(1/3)*(c*x)^(2/3))/(a + b*x^2)^(1/3)))/((a + b*x^2)^(1/3)*
(c^(2/3) - ((1 + Sqrt[3])*b^(1/3)*(c*x)^(2/3))/(a + b*x^2)^(1/3))^2))])

_______________________________________________________________________________________

Rubi [A]  time = 1.51277, antiderivative size = 414, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.263 \[ \frac{8 b \sqrt [3]{c x} \sqrt [3]{a+b x^2} \left (c^{2/3}-\frac{\sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right ) \sqrt{\frac{\frac{b^{2/3} (c x)^{4/3}}{\left (a+b x^2\right )^{2/3}}+\frac{\sqrt [3]{b} c^{2/3} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}+c^{4/3}}{\left (c^{2/3}-\frac{\left (1+\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right )^2}} F\left (\cos ^{-1}\left (\frac{c^{2/3}-\frac{\left (1-\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{b x^2+a}}}{c^{2/3}-\frac{\left (1+\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{b x^2+a}}}\right )|\frac{1}{4} \left (2+\sqrt{3}\right )\right )}{5 \sqrt [4]{3} c^{11/3} \sqrt{-\frac{\sqrt [3]{b} (c x)^{2/3} \left (c^{2/3}-\frac{\sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right )}{\sqrt [3]{a+b x^2} \left (c^{2/3}-\frac{\left (1+\sqrt{3}\right ) \sqrt [3]{b} (c x)^{2/3}}{\sqrt [3]{a+b x^2}}\right )^2}}}+\frac{8 b \sqrt [3]{c x} \sqrt [3]{a+b x^2}}{5 c^3}-\frac{3 \left (a+b x^2\right )^{4/3}}{5 c (c x)^{5/3}} \]

Antiderivative was successfully verified.

[In]  Int[(a + b*x^2)^(4/3)/(c*x)^(8/3),x]

[Out]

(8*b*(c*x)^(1/3)*(a + b*x^2)^(1/3))/(5*c^3) - (3*(a + b*x^2)^(4/3))/(5*c*(c*x)^(
5/3)) + (8*b*(c*x)^(1/3)*(a + b*x^2)^(1/3)*(c^(2/3) - (b^(1/3)*(c*x)^(2/3))/(a +
b*x^2)^(1/3))*Sqrt[(c^(4/3) + (b^(2/3)*(c*x)^(4/3))/(a + b*x^2)^(2/3) + (b^(1/3
)*c^(2/3)*(c*x)^(2/3))/(a + b*x^2)^(1/3))/(c^(2/3) - ((1 + Sqrt[3])*b^(1/3)*(c*x
)^(2/3))/(a + b*x^2)^(1/3))^2]*EllipticF[ArcCos[(c^(2/3) - ((1 - Sqrt[3])*b^(1/3
)*(c*x)^(2/3))/(a + b*x^2)^(1/3))/(c^(2/3) - ((1 + Sqrt[3])*b^(1/3)*(c*x)^(2/3))
/(a + b*x^2)^(1/3))], (2 + Sqrt[3])/4])/(5*3^(1/4)*c^(11/3)*Sqrt[-((b^(1/3)*(c*x
)^(2/3)*(c^(2/3) - (b^(1/3)*(c*x)^(2/3))/(a + b*x^2)^(1/3)))/((a + b*x^2)^(1/3)*
(c^(2/3) - ((1 + Sqrt[3])*b^(1/3)*(c*x)^(2/3))/(a + b*x^2)^(1/3))^2))])

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 35.4648, size = 405, normalized size = 0.98 \[ \frac{8 \cdot 3^{\frac{3}{4}} a b \sqrt [3]{c x} \sqrt{\frac{\frac{b^{\frac{2}{3}} \left (c x\right )^{\frac{4}{3}}}{\left (a + b x^{2}\right )^{\frac{2}{3}}} + \frac{\sqrt [3]{b} c^{\frac{2}{3}} \left (c x\right )^{\frac{2}{3}}}{\sqrt [3]{a + b x^{2}}} + c^{\frac{4}{3}}}{\left (\frac{\sqrt [3]{b} \left (c x\right )^{\frac{2}{3}} \left (- \sqrt{3} - 1\right )}{\sqrt [3]{a + b x^{2}}} + c^{\frac{2}{3}}\right )^{2}}} \left (- \frac{\sqrt [3]{b} \left (c x\right )^{\frac{2}{3}}}{\sqrt [3]{a + b x^{2}}} + c^{\frac{2}{3}}\right ) F\left (\operatorname{acos}{\left (\frac{\frac{\sqrt [3]{b} \left (c x\right )^{\frac{2}{3}} \left (-1 + \sqrt{3}\right )}{\sqrt [3]{a + b x^{2}}} + c^{\frac{2}{3}}}{\frac{\sqrt [3]{b} \left (c x\right )^{\frac{2}{3}} \left (- \sqrt{3} - 1\right )}{\sqrt [3]{a + b x^{2}}} + c^{\frac{2}{3}}} \right )}\middle | \frac{\sqrt{3}}{4} + \frac{1}{2}\right )}{15 c^{\frac{11}{3}} \sqrt{\frac{a}{a + b x^{2}}} \sqrt{- \frac{\sqrt [3]{b} \left (c x\right )^{\frac{2}{3}} \left (- \frac{\sqrt [3]{b} \left (c x\right )^{\frac{2}{3}}}{\sqrt [3]{a + b x^{2}}} + c^{\frac{2}{3}}\right )}{\sqrt [3]{a + b x^{2}} \left (\frac{\sqrt [3]{b} \left (c x\right )^{\frac{2}{3}} \left (- \sqrt{3} - 1\right )}{\sqrt [3]{a + b x^{2}}} + c^{\frac{2}{3}}\right )^{2}}} \left (a + b x^{2}\right )^{\frac{2}{3}} \sqrt{- \frac{b x^{2}}{a + b x^{2}} + 1}} + \frac{8 b \sqrt [3]{c x} \sqrt [3]{a + b x^{2}}}{5 c^{3}} - \frac{3 \left (a + b x^{2}\right )^{\frac{4}{3}}}{5 c \left (c x\right )^{\frac{5}{3}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((b*x**2+a)**(4/3)/(c*x)**(8/3),x)

[Out]

8*3**(3/4)*a*b*(c*x)**(1/3)*sqrt((b**(2/3)*(c*x)**(4/3)/(a + b*x**2)**(2/3) + b*
*(1/3)*c**(2/3)*(c*x)**(2/3)/(a + b*x**2)**(1/3) + c**(4/3))/(b**(1/3)*(c*x)**(2
/3)*(-sqrt(3) - 1)/(a + b*x**2)**(1/3) + c**(2/3))**2)*(-b**(1/3)*(c*x)**(2/3)/(
a + b*x**2)**(1/3) + c**(2/3))*elliptic_f(acos((b**(1/3)*(c*x)**(2/3)*(-1 + sqrt
(3))/(a + b*x**2)**(1/3) + c**(2/3))/(b**(1/3)*(c*x)**(2/3)*(-sqrt(3) - 1)/(a +
b*x**2)**(1/3) + c**(2/3))), sqrt(3)/4 + 1/2)/(15*c**(11/3)*sqrt(a/(a + b*x**2))
*sqrt(-b**(1/3)*(c*x)**(2/3)*(-b**(1/3)*(c*x)**(2/3)/(a + b*x**2)**(1/3) + c**(2
/3))/((a + b*x**2)**(1/3)*(b**(1/3)*(c*x)**(2/3)*(-sqrt(3) - 1)/(a + b*x**2)**(1
/3) + c**(2/3))**2))*(a + b*x**2)**(2/3)*sqrt(-b*x**2/(a + b*x**2) + 1)) + 8*b*(
c*x)**(1/3)*(a + b*x**2)**(1/3)/(5*c**3) - 3*(a + b*x**2)**(4/3)/(5*c*(c*x)**(5/
3))

_______________________________________________________________________________________

Mathematica [C]  time = 0.059098, size = 84, normalized size = 0.2 \[ \frac{x \left (-3 a^2+16 a b x^2 \left (\frac{b x^2}{a}+1\right )^{2/3} \, _2F_1\left (\frac{1}{6},\frac{2}{3};\frac{7}{6};-\frac{b x^2}{a}\right )+2 a b x^2+5 b^2 x^4\right )}{5 (c x)^{8/3} \left (a+b x^2\right )^{2/3}} \]

Antiderivative was successfully verified.

[In]  Integrate[(a + b*x^2)^(4/3)/(c*x)^(8/3),x]

[Out]

(x*(-3*a^2 + 2*a*b*x^2 + 5*b^2*x^4 + 16*a*b*x^2*(1 + (b*x^2)/a)^(2/3)*Hypergeome
tric2F1[1/6, 2/3, 7/6, -((b*x^2)/a)]))/(5*(c*x)^(8/3)*(a + b*x^2)^(2/3))

_______________________________________________________________________________________

Maple [F]  time = 0.039, size = 0, normalized size = 0. \[ \int{1 \left ( b{x}^{2}+a \right ) ^{{\frac{4}{3}}} \left ( cx \right ) ^{-{\frac{8}{3}}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((b*x^2+a)^(4/3)/(c*x)^(8/3),x)

[Out]

int((b*x^2+a)^(4/3)/(c*x)^(8/3),x)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (b x^{2} + a\right )}^{\frac{4}{3}}}{\left (c x\right )^{\frac{8}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^2 + a)^(4/3)/(c*x)^(8/3),x, algorithm="maxima")

[Out]

integrate((b*x^2 + a)^(4/3)/(c*x)^(8/3), x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (b x^{2} + a\right )}^{\frac{4}{3}}}{\left (c x\right )^{\frac{2}{3}} c^{2} x^{2}}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^2 + a)^(4/3)/(c*x)^(8/3),x, algorithm="fricas")

[Out]

integral((b*x^2 + a)^(4/3)/((c*x)^(2/3)*c^2*x^2), x)

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x**2+a)**(4/3)/(c*x)**(8/3),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (b x^{2} + a\right )}^{\frac{4}{3}}}{\left (c x\right )^{\frac{8}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^2 + a)^(4/3)/(c*x)^(8/3),x, algorithm="giac")

[Out]

integrate((b*x^2 + a)^(4/3)/(c*x)^(8/3), x)